1. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
2. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
4. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
5. Foundations of Logic and Mathematics
پدیدآورنده : by Yves Nievergelt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
6. Handbook of mathematical induction:Theory and applications
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Proof thory,Induction(Mathematics),Logic,Symbolic and mathematical
رده :
511
.
36
G975h
7. Handbook of mathematical induction: theory and applications
پدیدآورنده : / David S. Gunderson
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Proof theory,Induction (Mathematics),Logic, Symbolic and mathematical,Probabilities
رده :
511
.
36
G975H
2011
8. How to prove it :
پدیدآورنده : / Daniel J. Velleman
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
E-BOOK
9. Induction and self- induction
پدیدآورنده : Heinz Rieger
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Induction )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
9
.
R5
I7
1989
10. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
11. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
12. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
13. Mathematics and Plausible reasoning
پدیدآورنده : PolYa, George
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
P57
14. Mathematics and plausible reasoning
پدیدآورنده : Polya, George
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
P57
1954
15. Mathematics and plausible reasoning
پدیدآورنده : / by G. Polya-Princeton
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
510
.
1
P781
16. Passage to abstract mathematics /
پدیدآورنده : Mark E. Watkins, Jeffrey L. Meyer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Authorship,Technical writing
رده :
QA42
.
W38
2012
17. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
18. The evolution of Principia mathematica :
پدیدآورنده : Bernard Linsky
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
19. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
20. Theorems of the 21st century.
پدیدآورنده : Bogdan Grechuk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
رده :
QA37
.
3
